It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to (...) their fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Hintikka considers that the “Transcendental Deduction” includes finding the role that concepts in the effort is meant by human activities of acquiring knowledge; and it affirms that the principles governing human activities of knowledge can be objective rules that can become transcendental conditions of experience and no conditions contingent product of nature of human agents involved in the know. In his opinion, intuition as it is used by Kant not be understood in the traditional way, ie as producer of (...) mental images, but rather as that which the mind represents an individual. To support this interpretation refers to the lessons of Kant´s Logics, to individuality space time and the thesis, submitted the winning essay in 1764, characterizing the mathematical method by the use of particular representatives of general concepts. Thus, his exegesis considers the Kantian conceptions of the “Doctrine of Method” not later conceptions, as traditionally interpreted, but prior conceptions to the processing of “Transcendental Aesthetic”. This article reconstructs some of their arguments that eventually will equal the Kantian intuition with the Euclidean ecthesis. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more (...) inter-related. My proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la (...) logique illocutoire. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In (...) a second step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle (...) either endorses the Principle of Plenitude or Aristotle is simply inconsistent. Without challenging Hintikka’s interpretation of the relevant texts, I show how Aristotle may accept a form of the Principle of Plenitude that allows for genuine unactualized possibilities in the world. What allows me to reconcile the seemingly inconsistent data is to show how Aristotle is only committed to a de re version of the Principle of Plenitude. After I lay out my proposal, I show how it opens up new ways in which we might understand Aristotle’s attempt to reject fatalism in his De interpretatione 9. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds (...) on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. (...) Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...) skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

In the framework of Husserl's phenomenology, intentionality is regarded as the main feature of every act of consciousness. Our consciousness is directed towards objects immanent in it, however in a variety of epistemological functions and operations, such as sensory perception, judgment, cognition, volition, imagination, etc. Husserl uses the technical terms noesis and noema to designate the intentional acts of consciousness and their outcome in the constitution of objects in consciousness. At the same time, the persistence of a hyletic data is (...) emphasized, which as pure sense data escapes the phenomenological reduction and remains as such a residuum in the consciousness. In my lecture I try to work out the clear implication of epistemological referentiality in the phenomenological basic notion of intentionality. Among other things, I rely on the conceptual history of intentionality, i. e. on the earlier theories of intentionality in the Middle Ages and the philosophical revival of this notion in the late 19th century by Franz Brentano. Referentiality defines itself as the referential access of consciousness to objects of sensory perception, judgment, cognition, etc., in which the objects form the final referents. In the phenomenological framework, intentionality refers to the intentional access of consciousness to objects irrespective of their consciousness-immanence or -transcendence. The analogy between intentionality and referentiality is therefore based on the act-character as well as the directionality of consciousness which suggests the characteristic attempt of consciousness to gain intentional-referential access to objects. The directionality of consciousness in every intentional act ultimately marks and confirms the referentiality i. e the referential access of consciousness to the object. Intentionality as intentional-referential access to objects becomes a problem, when the access of consciousness to the object proves to be inadequate. I try to show how this problem of referentiality inevitably arises in Husserl's phenomenology of inner time-consciousness, especially in his conception of a time-object (Zeitobjekt). The consciousness-immanence of a time-object, such as a melody, points to a problem, that the intertwining of the temporality of consciousness and that of time-object necessarily results in various aporias of time, as Paul Ricœur observes and discusses in detail in his seminal work Temps et Récit. Moreover, the residual persistence of hyletic data, that survives all phenomenological reductions, would establish an actual interface between consciousness and reality, as Jaakko Hintikka emphasizes in his essay The phenomenological dimension. The aporicity of time refers to the autonomy of time and, thereby, to the autonomy of time-object in its intentional in-existence in consciousness. The hyletic data as interface between consciousness and reality points to the necessary referential extension of consciousness to objects that are otherwise excluded in the context of phenomenology. From these and similar premises, I would like to demonstrate how the problem of referentiality in Husserl's philosophy of time inevitably presupposes a reversion of referentiality within the prevailing noesis-noema structure that underlies the consciousness-immanence of objects. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...) of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...) of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?

The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes (...) with a modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto. (shrink)

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical systems. (...) At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

According to the modal account of luck it is a matter of luck that p if p is true at the actual world, but false in a wide‐range of nearby worlds. According to the modal account of risk, it is risky that p if p is true at some close world. I argue that the modal accounts of luck and risk do not mesh well together. The views entail that p can be both maximally risky and maximally lucky, but there (...) is nothing which is both maximally lucky and maximally risky. I offer a novel theory of risk that fits together with the modal account of luck and demonstrate that it is both extensionally and formally superior to extant proposals. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

Timothy Williamson famously argued that assertion is constituted either by the knowledge rule or some similar epistemic rule. If true, the proposal has important implications for criticism of assertions. If assertions are analogical to other rule-constituted kinds like games, we can criticize assertions either on external or internal grounds, depending on whether the criticism draws from the necessary norms of assertion or some contingent ones. More recently, authors like Goldberg and MacFarlane have argued against other theories of assertion on the (...) grounds that they cannot explain the possibility of internal criticism for assertions. This paper raises methodological problems with these arguments. The main idea is to show that alternative, non-normative accounts of assertion can also explain the apparent differences in grounds of criticism without assuming that assertion is necessarily governed by some epistemic norm. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the claim (...) that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

This paper offers a new account of the epistemic significance of disagreement which is grounded in two assumptions; that knowledge is the norm of belief and, that the safety condition is a necessary condition for knowledge. These assumptions motivate a modal definition of epistemic peerhood, which is much easier to operate on than the more traditional definitions of epistemic peerhood. The modal account of the epistemic significance of disagreement yields plausible results regarding cases of disagreement. Furthermore, it is able to (...) tap into the intuitions that have motivated the conformist and the nonconformist positions and it locates a fruitful middle-ground between these two conflicting positions. It will be shown that the conformist is correct in that cases of real peer disagreement force us to suspend our judgment. The reason for this is that in cases of real peer disagreement our beliefs fail to be safe. The nonconformist, on the other hand, is right in that disagreement in itself does not have any epistemic power. It is only by the grace of nature that we gain knowledge. The fact that someone disagrees with you does not mean that you do not have knowledge. (shrink)

The notion of credit plays a central role in virtue epistemology and in the literature on moral worth. While virtue epistemologists and ethicists have devoted a significant amount of work to providing an account of creditable success, a unified theory of credit applicable to both epistemology and ethics, as well as a discussion of the general form it should take, are largely missing from the literature. Our goal is to lay out a theory of credit that seems to underlie much (...) of the discussion in virtue epistemology, which we dub the Cake Theory. We argue that given the goals that virtue epistemologists and ethicists who discuss moral worth have, this theory is problematic, for it makes credit depend on the wrong facts. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)

According to all varieties of virtue reliabilism knowledge is always gained through the exercise of epistemic competences. These competences can be conceived as competences to form true beliefs, or as competences to know. I will present a short but decisive argument against the idea that knowledge is always gained through the exercise of competences to know. The competence to know isn’t necessary for gaining knowledge.

In order to deal with the problem caused by environmental luck some proponents of robust virtue epistemology have attempted to argue that in virtue of satisfying the ability condition one will satisfy the safety condition. Call this idea the entailment thesis. In this paper it will be argued that the arguments that have been laid down for the entailment thesis entail a wrong kind of safety condition, one that we do not have in mind when we require our beliefs to (...) be safe from error in order for them to be knowledge. (shrink)

A novel theory of comparative risk is developed and defended. Extant theories are criticized for failing the tests of extensional and formal adequacy. A unified diagnosis is proposed: extant theories consider risk to be a univariable function, but risk is a multivariate function. According to the theory proposed, which we call the unified theory of risk, the riskiness of a proposition is a function of both the proportion and the modal closeness of the possible worlds at which the proposition holds. (...) It is argued the theory passes the tests of extensional and formal adequacy. (shrink)

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus -strategian (...) keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

What was Saul Kripke’s personal stance on the sceptical challenge that he famously attributed to Ludwig Wittgenstein? It will be argued that despite his statements to the contrary, we can, in fact, outline at least a rough sketch of Kripke’s own views on the challenge and its aftermath on the basis of the remarks he left in the text. In summary, Kripke (a) rejected the sceptical solution to the challenge and (b) leaned towards a non-sceptical primitivist solution. If this is (...) correct, it follows that there is a way in which Kripke's view makes his causal-historical picture of reference potentially able to solve the sceptical challenge. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

How can we figure out what’s right or wrong, if moral truths are neither self-evident nor something we can perceive? Very roughly, the method of reflective equilibrium (RE) says that we should begin moral inquiry from what we already confidently think, seeking to find a a match between our initial convictions and general principles that are well-supported by background theories, mutually adjusting both until we reach a coherent outlook in which our beliefs are in harmony (the equilibrium part) and we (...) know why and how they support each other (the reflective part). It has been central to the self-understanding of normative ethics and other branches of philosophy in the last half a century. In this chapter, we examine the history of the idea of RE and introduce a schema for generating 256 variants. We explain why RE is subject to serious objections insofar as it purports to yield epistemic justification in virtue of achieving coherence. However, we also develop a new argument to the effect that RE is the best feasible method for us to achieve moral understanding and the ability to justify our judgments to others. It may thus be crucial for responsible moral inquiry, even if coherence among considered judgments and principles is neither sufficient nor necessary for justified moral belief. (shrink)

Many accounts of the morality of abortion assume that early fetuses must all have or lack moral status in virtue of developmental features that they share. Our actual attitudes toward early fetuses don’t reflect this all-or-nothing assumption: early fetuses can elicit feelings of joy, love, indifference, or distress. If we start with the assumption that our attitudes toward fetuses reflect a real difference in their moral status, then we need an account of fetal moral status that can explain that difference. (...) I argue that we can have or lack relational obligations to early fetuses in light of our own activities or choices, independent of the fetus’s own features or properties. Those relational obligations make the early fetus morally considerable to the persons who stand in a moral relation to it. Pregnant persons (and other participants in the procreative process) can come to have relational obligations to an early fetus just in virtue of their own decision to create a person, either by intentionally getting pregnant or by deciding to continue a pregnancy. That decision not only makes it appropriate for them to care about the fetus, but it also generates obligations to the fetus that they didn’t have before that decision. (shrink)

In this article, we develop a new approach to integrating philosophical phenomenology with qualitative research. The approach uses phenomenology’s concepts, namely existentials, rather than methods such as the epoché or reductions. We here introduce the approach to both philosophers and qualitative researchers, as we believe that these studies are best conducted through interdisciplinary collaboration. In section 1, we review the debate over phenomenology’s role in qualitative research and argue that qualitative theorists have not taken full advantage of what philosophical phenomenology (...) has to offer, thus motivating the need for new approaches. In section 2, we introduce our alternative approach, which we call Phenomenologically Grounded Qualitative Research (PGQR). Drawing parallels with phenomenology’s applications in the cognitive sciences, we explain how phenomenological grounding can be used to conceptually front-load a qualitative study, establishing an explicit focus on one or more structures of human existence, or of our being in the world. In section 3, we illustrate this approach with an example of a qualitative study carried out by one of the authors: a study of the existential impact of early parental bereavement. In section 4, we clarify the kind of knowledge that phenomenologically grounded studies generate and how it may be integrated with existing approaches. (shrink)

We provide an analysis of the public's having warranted epistemic trust in science, that is, the conditions under which the public may be said to have well-placed trust in the scientists as providers of information. We distinguish between basic and enhanced epistemic trust in science and provide necessary conditions for both. We then present the controversy regarding the connection between autism and measles–mumps–rubella vaccination as a case study to illustrate our analysis. The realization of warranted epistemic public trust in science (...) requires various societal conditions, which we briefly introduce in the concluding section. (shrink)

How does consciousness vary across the animal kingdom? Are some animals ‘more conscious’ than others? This article presents a multidimensional framework for understanding interspecies variation in states of consciousness. The framework distinguishes five key dimensions of variation: perceptual richness, evaluative richness, integration at a time, integration across time, and self-consciousness. For each dimension, existing experiments that bear on it are reviewed and future experiments are suggested. By assessing a given species against each dimension, we can construct a consciousness profile for (...) that species. On this framework, there is no single scale along which species can be ranked as more or less conscious. Rather, each species has its own distinctive consciousness profile. (shrink)

This opinion revolves around the discussion of matters that are beyond the realm of space-time. For instance, it discusses parallel universes, wormholes, and extrasensory perception or psi. Rationality is operationally defined. The opinion throws light on the manner in which the lines of rationality become unclear when it takes into consideration extrasensory phenomena. In addition, it contends that psychiatric disorders such as Schizophrenia are the result of contact from different parallel universes. Hence, Schizophrenia according to this paper is not a (...) disorder by itself but rather just a communication of messages from an alternate reality. Also, another psychological disorder called Dissociative Identity Disorder is also the result of different souls in one person or communication from different souls from parallel universes. Whether atoms are conscious or not is debatable but can be a possibility due to their eerie and unpredictable nature. The concept of parallel universes introduces a paradoxical manner of thinking, which is dealt with in the paper. The paper concerns itself with issues in quantum physics, clubbed with extrasensory perception in parapsychology. It subtly emphasizes rational thinking in the debate about space-time and beyond. Rationality as a concept is dealt with from different angles. Finally, quantum cognition is used to explain an all too familiar, pervasive yet inexplicable domain of knowledge, which is human behaviour. (shrink)

I examine the epistemic import of collaborative research in science. I develop and defend a functional explanation for its growing importance. Collaborative research is becoming more popular in the natural sciences, and to a lesser degree in the social sciences, because contemporary research in these fields frequently requires access to abundant resources, for which there is great competition. Scientists involved in collaborative research have been very successful in accessing these resources, which has in turn enabled them to realize the epistemic (...) goals of science more effectively than other scientists, thus creating a research environment in which collaboration is now the norm. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

Back in Ancient India, Shankaracharya postulated a philosophy which is now known as Advaita. According to Advaita philosophy, the ‘jivãtma’ (individual soul) and ‘Brahmãtma’ (universal soul) are one and the same and these are the only ‘real’ things that exist. Everything else is an illusion. To challenge this almost unshakeable viewpoint, I bring to the fore a book authored by a Nobel Laureate. In 1935, Alexis Carrel’s revolutionary book entitled “Man the Unknown” was published. Though controversial in terms of its (...) content, it delineates the unexplored aspects of the human being – the understanding of mental processes and consciousness, which he claims humans have not mastered. Throughout the book, Carrel suggests that there is something that is unknown in the homo sapiens and hence he titles his work “Man the Unknown.” Based on this, I argue that both the esoteric East and the pragmatic West have not uncovered something “hidden” –the unknown factor/element. Substantial evidence exists for this contention in the scientific community. For example, questions such as among identical twins diagnosed with depression, why does one medication cure depression for one twin and have no effect on the other twin? Ceteris paribus, why does therapy work for one client but not for another client with the same disorder? These questions do not have clear, crystallized answers. Perhaps, if such a thing like an unknown element exists, it would pave the way for the postulation of the Grand Theory of the behavioural sciences. (shrink)

The dominant framework for addressing procreative ethics has revolved around the notion of harm, largely due to Derek Parfit’s famous non-identity problem. Focusing exclusively on the question of harm treats what procreators owe their offspring as akin to what they would owe strangers (if they owe them anything at all). Procreators, however, usually expect (and are expected) to parent the persons they create, so we cannot understand what procreators owe their offspring without also appealing to their role as prospective parents. (...) I argue that prospective parents can wrong their future children just by failing to act well in their role as parents, whether or not their offspring are ultimately harmed or benefitted by their creation. Their obligations as prospective parents bear on the motivations behind their reproductive choices, including the choice to select for some genetic trait in their offspring. Even when procreators’ motivations aren’t malicious, or purely selfish, they can still fail to recognize and act for the end of the parental role. Procreators can wrong their offspring by selecting for some genetic trait, then, when doing so would violate their obligations as prospective parents, or when their motivation for doing so is antithetical to the end of the parental role. (shrink)

“Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...) sonuçla da bağlantılı değildir. Bununla birlikte o, özel doğal olmayan yetilere (ESP, telepati, mistik deneyim) veya doğaüstü bilgi kaynaklarına (kutsal metinler, vahiy teolojisi, inanç otoriteleri, doğrudan doğaüstü iletişim) hitap etmekten kaçınır. Genel olarak, doğal din veya teoloji (bundan böyle “doğal teoloji” olarak anılacaktır), diğer felsefi ve bilimsel girişimlerle aynı rasyonel inceleme standartlarına uymayı amaçlamaktadır ve aynı değerlendirme ve eleştiri yöntemlerine tabidir. (shrink)

Usually, modular construction involves the off-site manufacturing of standard building components in a factory before the components are assembled on the construction site. It is common to use terms like "prefabrication," "off-site construction," and "modular construction" interchangeably. The construction of modular constructions nowadays is flourishing all over the globe. The roots of the Albanian prefabricated constructions are extended for the first time around the 1970s. This paper will indeed analyze some recently built modular construction in Albania, considering and comparing it (...) with international case studies. The demand for new construction in Albania is rising rapidly. Currently, the most common structures are cast-in-place beam-column designs, driven by both traditional mindsets and industrial capabilities. However, with Albania's economic growth, there is an increasing need for affordable, quickly built, and technologically advanced buildings. Modular construction, which assembles prefabricated modules on-site, offers a solution. This method aligns with bioclimatic design principles, reducing environmental impact and optimizing resources, marking a shift toward sustainability in the construction industry. The purpose of this article is to explore the potential integration of “modular construction techniques” with “bioclimatic design concepts” to create buildings that are environmentally friendly, energy-efficient, and multipurpose by function. This study explores the use of modular construction techniques in conjunction with bioclimatic techniques to increase “building sustainability”. Combining these tactics encourages energy efficiency and a reduced environmental effect, making people far more resilient and weather-adaptable. The synergy between the two of them is necessary. (shrink)

Güvenilirci (reliabilist) bilgi teorisi, çağdaş epistemik gerekçelendirme kuramları içerisinde, dışsalcı (externalist) kuramın bir türü olarak kendisine yer bulmaktadır. Kısaca, bir inancı gerekçelendiren şeyin o inancın oluşturulduğu sürecin güvenilirliği olduğunu öne süren bu yaklaşım, bu bilişsel süreçleri özne dışı unsurlara bağladığı içinde dışsalcı bir pozisyonda yer almaktadır. Bu bilgi teorisinin tam karşı konumunda yer alan içselci (internalist) bilgi teorisi ise, özne merkezli bir yaklaşımla, doğru inancı gerekçelendirecek yöntemin, kişinin kendi zihinsel yapısından yola çıkarak, belli kognitif süreçler sonucunda ulaşılabileceğini öne sürmektedir. Epistemik (...) gerekçelendirme kuramları içerisinde birçok tartışmada kendisine yer bulan bu iki bilgi teorisi, kendi içerisinde de birçok farklı kurama kapı aralamıştır. Burada içselci bilgi teorisinden ortaya çıkan erişim içselciliği, farkındalık içselciliği gibi kuramları ve dışsalcı bilgi teorisinden ortaya çıkan süreç güvenilirciliği, gösterge güvenilirciliği ve erdem güvenilirciliği gibi farklı türden kuramları örnek olarak verebiliriz. Öte yandan çağdaş epistemolojideki bu tartışmalar, dini epistemoloji içerisinde de kendisine yer bulmuştur. Özellikle Alvin Plantinga, kendi dini epistemolojisi içerisinde dışsalcı bir tutum sergilemiş ve son dönem çalışmaları içerisinde de güvenilirci bir anlayışla Tanrı inancının epistemik mahiyetini ortaya koymaya çalışmıştır. Bu makalede öncelikle dışsalclık ve onun bir türü olan güvenilirci bilgi anlayışını ve bu kuramlara getirilen eleştirileri ele almaya çalışacağız, daha sonra A. Plantinga’nın son dönem dini epistemolojisinin de yönünü belirleyen güvence (warrant) kavramını açıklayıp, bu kavramın bütün teist dinlere uygulanabilirliğini sorgulayacağız. (shrink)

The paper examines the evolution of modernity concepts starting from the Renaissance to the present day, emphasizing the impact on architecture and urbanism. During the period of the Renaissance and the Enlightenment, people framed an evolutionary notion of history and the concept of the modern associated with the contemporary, the new, and the fleeting emerged. This period connected modernity with the idea of relativity of truth as opposed to the absolute truth of the Middle Ages. In the 18th and 19th (...) centuries, modernity clashed with tradition. This led to economic and political modernization. It also influenced artistic movements and cultural trends. The Industrial Revolution epitomized this period. It was driven by scientific and technological advancements. The paper discusses the objective and subjective perspectives of modernity, highlighting its dual nature in socioeconomic processes and personal experiences. Key thinkers like Habermas Weber and Baudelaire provide frameworks for understanding modernity's developments in science, art, and morality. The avant-garde movements influenced by Bauhaus, emphasized functionality. They also focused on rationality in architecture. However, critiques emerged, advocating the concept of unitary urbanism. This vision includes adaptable living spaces. It promotes an ever-changing urban environment, as exemplified by Constant's New Babylon. The Adorno's aesthetic theory criticized the industry's commodification of art and emphasizes art's utopian potential. Adorno's concept of mimesis and his critique of rationality and instrumental reason are explored reflecting the paradoxical nature of modernity. Finally, the paper contrasts the views of architects like Mies van der Rohe, Norberg-Schulz, and Eisenman. It concludes by reflecting on architecture's ongoing interaction with modernity. It emphasizes a balance between innovation tradition and the dynamic nature of human experience and social development. (shrink)

This paper offers a review of the catalogue composed by Myriam Vogelaar of one of the largest and most important collections of Fight Books and fencing manuals in the field of Historical European Martial Arts Studies (HEMAS). The Mokken Collection is named after Wiebe Mokken, the man who meticulously built it up over the past decades in Amsterdam. The book also highlights the glaring lack of contemporary knowlegde about other major historical fencing-related collections, like Gotti’s spectacular private collection held at (...) the Museo dell Arte Marziale in Brescia, Italy. Others, such as the Corble collection at the KU Leuven Libraries, recently published their catalogue on line. This catalogue thus constitutes an important milestone for this exciting and still relatively new subdomain in the field of European cultural studies, by making accessible one of the most important collections of source materials dedicated to it. (shrink)